Monotonicity of entailment

#	Item
21	A Linear Logic of Authorization and Knowledge⋆ Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter Carnegie Mellon University Abstract. We propose a logic for specifying security policies at Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Geometric group theory Entailment Monotonicity of entailment Amenable group Sequent calculus Linear logic Logic Mathematical logic Proof theory
22	Learning to recognize features of valid textual entailments Bill MacCartney, Trond Grenager, Marie-Catherine de Marneffe, Daniel Cer, and Christopher D. Manning Computer Science Department Stanford University Stanford, C Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-04-18 02:22:13 Entailment Structural alignment Monotonicity of entailment Inference Logic Logical consequence Textual entailment
23	A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:21 Model theory Proof theory Entailment Metalogic Default logic Inference Soundness Monotonicity of entailment First-order logic Logic Logical consequence Deduction